Summarized Dimensions Revisited
نویسندگان
چکیده
The task of summarizing memory regions becomes increasingly important in the analysis of data structures and the analysis of recursive functions. Calculating summaries of memory regions containing several abstract variables becomes quite subtle when using relational abstract domains. We address this challenge using two principal operations, fold and expand , that calculate such summaries for any numeric relational domain and argue optimality. We thereby generalize an earlier approach in the literature that was geared towards memory cells modelled by a single abstract variable.
منابع مشابه
Communication Strategies Revisited: Looking beyond Interactional and Psycholinguistic Perspectives
Second language (L2) communication strategies (CSs) have traditionally been dealt with through either interactional or psychological perspectives. However, this paper is a critical attempt to question the status of the particular kinds of psycholinguistic and interactional approaches that currently dominate the field of second language acquisition (SLA). In this way, it expands the significance...
متن کاملCobordism of involutions revisited, revisited
Boardman’s work [3,4] on Conner and Floyd’s five-halves conjecture looks remarkably contemporary in retrospect. This note reexamines some of that work from a perspective proposed recently by Greenlees and Kriz. 1. Unoriented involutions A large part of Boardman’s argument can be summarized as a commutative diagram 0 // N geo Z/2Z∗ // ⊕i≥0Ni(BO∗−i) ∂ //
متن کاملThe Self-dual Action of the Ashtekar Formalism Revisited
Different aspects of the self-dual (anti-self-dual) action of the Ashtekar canonical formalism are revisited. In particular, we study the equivalences and differences between the various versions of such an action. Our analysis may be useful for the development of Ashtekar formalism in eight dimensions. Pacs numbers: 04.60.-m, 04.65.+e, 11.15.-q, 11.30.Ly November, 2004 1 [email protected]
متن کامل19 v 1 2 6 Se p 20 06 The causal hierarchy of spacetimes
The full causal ladder of spacetimes is constructed, and their updated main properties are developed. Old concepts and alternative definitions of each level of the ladder are revisited, with emphasis in minimum hypotheses. The implications of the recently solved " folk questions on smoothability " , and alternative proposals (as recent isocausality), are also summarized.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 288 شماره
صفحات -
تاریخ انتشار 2012